Scherer - PDFSEARCH.IO - Document Search Engine

Scherer
Results: 418

#	Item
111	2-or-more approximation for intuitionistic logic Gabriel Scherer November 25, 2014 1 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-11-25 09:35:48 Algebra Deduction Differential topology Proof theory Abstract algebra Ring theory Semiring
112	Mining opportunities for unique inhabitants in dependent programs Gabriel Scherer, PhD student, Gallium (INRIA Paris-Rocquencourt) 1 Research Background Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-09-23 11:30:06 Type theory Functional languages Dependent type Type system Type inference Coq Programming language Agda Type safety Programming language theory Software engineering Computing
113	Which simple types have a unique inhabitant? Gabriel Scherer Didier R´emy INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-03-03 05:16:01 Proof theory Lambda calculus Type theory Logic in computer science Model theory Natural deduction System F Function Sequent calculus Mathematical logic Logic Mathematics
114	Unicity of type inhabitants; a Work in Progress Gabriel Scherer Gallium (INRIA Paris-Rocquencourt) May 30, 2013 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-05-30 11:35:47 Map Matter Gallium Chemistry
115	Bldr.io Documentation ReleaseAaron Scherer July 15, 2014 Add to Reading List Source URL: media.readthedocs.org Language: English - Date: 2014-07-15 15:53:53 PHP programming language Unix Build automation Compiling tools Symfony Apache Ant Filesystem Hierarchy Standard Make PHP Software Computing Cross-platform software
116	Multi-focusing on extensional rewriting with sums (introduction) Gabriel Scherer Gallium – INRIA March 11, 2014 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-03-11 05:43:20
117	Mining opportunities for unique inhabitants in dependent programs Gabriel Scherer, PhD Student under supervision of Didier R´emy Gallium – INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-09-29 11:09:42 Programming language theory Data types Formal methods Theoretical computer science Higher-order functions Type system Dependent type Lambda calculus Gallium Software engineering Computing Type theory
118	Gabriel Scherer Gallium team INRIA Paris-Rocquencourt B Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-04-08 09:34:19 Functional languages OCaml National Institute for Research in Computer Science and Control Caml Principles of Programming Languages Coq Scherer Rocquencourt Subtype polymorphism Software engineering Computing Computer programming
119	ON IRRELEVANCE AND ALGORITHMIC EQUALITY IN PREDICATIVE TYPE THEORY ANDREAS ABEL AND GABRIEL SCHERER Department of Computer Science, Ludwig-Maximilians-University Munich e-mail address: Gallium tea Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-01-13 11:43:16 Mathematics Metalogic Proof theory Lambda calculus Entailment Logical consequence Normalisation by evaluation Sheaf Soundness Logic Mathematical logic Deduction
120	PDF Document Add to Reading List Source URL: www.psy.mq.edu.au Language: English - Date: 2012-10-02 18:53:09 Social psychology Feeling Concepts Music and emotion Affect Empathy Anger Klaus Scherer Appraisal theory Mind Cognitive science Emotion